Digital Library

Search: "[ keyword: Static Analysis ]" (9)
    Implementation of a Static Analyzer for Detecting the PHP File Inclusion Vulnerabilities
    Joon Seon Ahn , Seong Chae Lim The KIPS Transactions:PartA, Vol. 18, No. 5, pp. 193-204, Oct. 2011
    10.3745/KIPSTA.2011.18.5.193


    Development of a String Injection Vulnerability Analyzer for Web Application Programs
    Joon Seon Ahn , Yeong Min Kim , Jang Wu Jo The KIPS Transactions:PartA, Vol. 15, No. 3, pp. 181-188, Jun. 2008
    10.3745/KIPSTA.2008.15.3.181


    A Visualization System for Permission Check in Java using Static Analysis
    Yun Kyung Kim , Byeong Mo Chang The KIPS Transactions:PartA, Vol. 13, No. 5, pp. 399-404, Oct. 2006
    10.3745/KIPSTA.2006.13.5.399


    Design and Implementation of PS-Block Timing Model Using PS-Block Structue
    Yun Kwan Kim , Won Shin , Tae Wan Kim , Chun Hyon Chang The KIPS Transactions:PartD, Vol. 13, No. 3, pp. 399-404, Jun. 2006
    10.3745/KIPSTD.2006.13.3.399


    Quality Visualization of Quality Metric Indicators based on Table Normalization of Static Code Building Information
    Chansol Park, So Young Moon, R Young Chul Kim KIPS Transactions on Software and Data Engineering, Vol. 12, No. 5, pp. 199-206, May. 2023
    https://doi.org/10.3745/KTSDE.2023.12.5.199
    Keywords: software engineering, Database Normalization, Code Metrics, Static Analysis, Software Visualization


    Study on Program Partitioning and Data Protection in Computation Offloading
    Eunyoung Lee, Suehee Pak KIPS Transactions on Software and Data Engineering, Vol. 9, No. 11, pp. 377-386, Nov. 2020
    https://doi.org/10.3745/KTSDE.2020.9.11.377
    Keywords: Code Offloading, Program Partitioning, Static Analysis, data protection, Mobile Cloud Computing


    Detection of Unknown Malicious Scripts Using Static Analysis
    Seong Uck Lee , Byung Woo Bae , Hyong Joon Lee , Eun Sun Cho , Man Pyo Hong The KIPS Transactions:PartC, Vol. 9, No. 5, pp. 765-774, Oct. 2002
    10.3745/KIPSTC.2002.9.5.765


    Comparison of Path Exploration and Model Checking Techniques for Checking Automotive API Call Safety
    Dongwoo Kim, Yunja Choi KIPS Transactions on Software and Data Engineering, Vol. 5, No. 12, pp. 615-622, Dec. 2016
    10.3745/KTSDE.2016.5.12.615
    Keywords: Automotive Software, API, Constraint Pattern, Static Analysis, Model Checking


    Cost Based Vulnerability Control Method Using Static Analysis Tool
    Ki Hyun Lee , Seok Mo Kim , Young B. Park , Je Ho Park KIPS Transactions on Software and Data Engineering, Vol. 5, No. 3, pp. 139-144, Mar. 2016
    10.3745/KTSDE.2016.5.3.139


Forms



Category Search

Publications


Old Journals


Indexing


All publications of KTSDE is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

KTSDE is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Organization


Related Journals